Hofmann–Mislove through the lenses of Priestley
نویسندگان
چکیده
We use Priestley duality to give a new proof of the Hofmann-Mislove Theorem.
منابع مشابه
the effect of vocabulary instruction through semantic mapping on learning and recall of efl learners
چکیده ندارد.
15 صفحه اولthe effect of functional/notional approach on the proficiency level of efl learners and its evaluation through functional test
in fact, this study focused on the following questions: 1. is there any difference between the effect of functional/notional approach and the structural approaches to language teaching on the proficiency test of efl learners? 2. can a rather innovative language test referred to as "functional test" ge devised so so to measure the proficiency test of efl learners, and thus be as much reliable an...
15 صفحه اولPriestley Rings and Priestley Order-Compactifications
We introduce Priestley rings of upsets (of a poset) and prove that inequivalent Priestley ring representations of a bounded distributive lattice L are in 1-1 correspondence with dense subspaces of the Priestley space of L. This generalizes a 1955 result of Bauer that inequivalent reduced field representations of a Boolean algebra B are in 1-1 correspondence with dense subspaces of the Stone spa...
متن کاملViewing the Semantic Web through RVL Lenses
Personalized access and content syndication involving diverse conceptual representations of information resources are two of the key challenges of real-scale Semantic Web (SW) applications, such as e-Commerce, e-Learning or e-Science portals. RDF/S represents nowadays the core SW language for creating and exchanging resource descriptions worldwide. Unfortunately, full-fledged view definition la...
متن کاملThe XMediaBox: Sensemaking through the Use of Knowledge Lenses
Sensemaking is the process of analysing complex situations in order to make informed decisions. Semantic Web technology can be effectively used to create new sensemaking systems that focus on concepts and knowledge instead of documents. We demonstrate how this is achieved using information extraction to acquire knowledge and create a semantic repository that can then be semantically searched. A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semigroup Forum
سال: 2022
ISSN: ['0037-1912', '1432-2137']
DOI: https://doi.org/10.1007/s00233-022-10311-4